#include <stdio.h>
int main(void){
    unsigned n =0;
    while (scanf("%u",&n)!=EOF)
        printf("%d\n\n",(n*n+n)/2);
    return 0;
}